#include "pins_arduino.h"

#ifdef __cplusplus
extern "C"
{
#endif

    PinName analogInputToPinName(uint32_t pin)
    {
        PinName pn = digitalPinToPinName(analogInputToDigitalPin(pin));

        if (pn == NC)
        {
            switch (pin)
            {
#ifdef ATEMP
            case ATEMP:
                pn = PADC_TEMP;
                break;
#endif
#ifdef AVREF
            case AVREF:
                pn = PADC_VREF;
                break;
#endif
#ifdef AVBAT
            case AVBAT:
                pn = PADC_VBAT;
#endif
            default:
                break;
            }
        }

        return pn;
    }

#ifdef __cplusplus
}
#endif